Nested Pure Operation-Based CRDTs
Replicated data types (RDTs) such as CRDTs are becoming increasingly popular as a simplified way for programming distributed systems. RDTs are local data structures with a familiar interface (such as sets, lists, trees) that can automatically synchronize data between multiple devices in the background. While basic RDTs (e.g. sets, lists, ...) are already be quite useful, applications often require more complex data structures. This can be achieved by composing simpler data types into more complex ones by nesting them.
For this seminar topic, you will look into one approach to composition of RDTs. First, you will learn about a flavor of RDTs: pure operation-based CRDTs. Second, you will learn about how these "simple" RDTs can be composed into more complex, i.e., nested RDTs, which is described in the referenced paper. Third, you will also be able to try out an existing implementation of this approach found in the Flec framework.